COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	                      Proposed Budget - Revised March 1982
C00006 ENDMK
C⊗;
                      Proposed Budget - Revised March 1982

                 Professor John McCarthy, Principal Investigator
               "Mechanical Theorem Proving and Development of EKL"
                                 9/1/82-9/1/85




                                      9/1/82-      9/1/83-     9/1/84-       Total
                                      8/31/83      8/31/84     8/31/85

Salaries

  Faculty
    John McCarthy, Principal Investigator
      (part-time, no cost to project)

  Research Associate
    Jussi Ketonen
      (100%, 12 months)               36,960       43,956      48,352      129,268

  Student Research Assistant
    (50%, academic year,
    100%, 3 months summer)            10,907       11,998      13,198       36,103

  Staff Support
    (10%, 12 months)                   1,617        1,779       1,957        5,353
                                     _______      _______     _______      _______

Total Salaries                        49,484       57,733      63,507      170,724

Staff Benefits
  9/1/82-8/31/83  20.4%
  9/1/83-8/31/84  22.1%
  9/1/84-8/31/85  22.4%               10,095       12,759      14,225       37,079

Travel
  Domestic - 1 trip East Coast
    (Air fare and per diem)            1,500        1,750       1,925        5,175

Expendables (Phone, postage, 
             supplies, etc.            1,500        1,650       1,815        4,965

Publications                             750          825         900        2,475

Computer Usage                         7,232        7,955       8,751       23,938
                                     _______      _______     _______      _______


Total Direct Costs                    70,561       82,672      91,123      244,356

Indirect Costs - 69%                  48,687       57,044      62,875      168,606
                                     _______      _______     _______      _______


TOTAL COSTS                          119,248      139,716     153,998      412,962